Automatic Synthesis of Sequential Control Schemes

Automatic measurement of instantaneous changes in the walls of carotid artery with sequential ultrasound images

Introduction: This study presents a computerized analyzing method for detection of instantaneous changes of far and near walls of the common carotid artery in sequential ultrasound images by applying the maximum gradient algorithm. Maximum gradient was modified and some characteristics were added from the dynamic programming algorithm for our applications. Methods: The algorithm was evaluat...

Synthesis and Characterization of PDMS/PAAc Sequential IPNs

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software. Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control so...

Automatic Creation of Sequential Control Schemes in Polynomial Time

Of all hard-and software developed for industrial control purposes, the majority is devoted to sequential, or binary valued, control and only a minor part to classical linear control. The sequential parts of the controller are typically invoked during startup or shutdown phases to bring the system either into its normal operating region or into some safe standby region. Despite its importance ,...

Sequential Approximation of Feasible Parameter Sets for Identification with Set Membership Uncertain - Automatic Control, IEEE Transactions on

In this paper the problem of approximating the feasible parameter set for identification of a system in a set membership setting is considered. The system model is linear in the unknown parameters. A recursive procedure providing an approximation of the parameter set of interest through parallelotopes is presented, and an efficient algorithm is proposed. Its computational complexity is similar ...